『証明の読み方・考え方〔原著第6版〕: 数学的思考過程への手引き』
『証明の読み方・考え方〔原著第6版〕: 数学的思考過程への手引き』
https://m.media-amazon.com/images/I/41SZcPSTLkL._SY445_SX342_.jpg
2023/11/25
Daniel Solow 著
西村康一 翻訳
服部久美子 翻訳
共立出版
目次
第1章 数学的に真理であるとはどういうことか
第2章 前進後退法
第3章 定義と数学用語について
第4章 量化詞1:構成法
第5章 量化詞2:抽出法
第6章 量化詞3:特殊化
第7章 量化詞4:入れ子の量化詞
第8章 主張の否定をどう書くか
第9章 背理法
第10章 対偶法
第11章 一意性の証明法
第12章 帰納法
第13章 二者択一法
第14章 最大最小の証明法
第15章 まとめ
付録1 離散数学からの証明の例
付録2 実解析からの証明の例